Formal verification of ethical choices in autonomous systems
نویسندگان
چکیده
منابع مشابه
Verification and Validation of Ethical Decision-making in Autonomous Systems
Autonomous systems are increasingly becoming part of both the cyber and physical infrastructures that sustain our daily lives. Immersing these technologies into our technical and social infrastructures has profound implications and hence requires instilling confidence in their behavior to avoid potential harm. This paper examines the characteristics of autonomous behavior in relation to ethical...
متن کاملFormal Verification of Ethical Properties in Multiagent Systems
The increasing use of autonomous arti cial agents in hospitals or in transport control systems leads to consider whether moral rules shared by many of us are followed by these agents. This is a particularly hard problem because most of these moral rules are often not compatible. In such cases, humans usually follow ethical rules to promote one moral rule or another. Using formal veri cation to ...
متن کاملFormal Verification of Autonomous Systems NASA Intelligent Systems Program
The success of safety-critical NASA missions depends on reliable software. As both space and ground software systems become more complex, and increasingly more autonomous, guarantees of software correctness becomes even more crucial. While traditional approaches to validation – simulation and testing – are useful, they cannot, in general, be used to check all possible scenarios. Formal verifica...
متن کاملDesign and formal verification of DZMBE+
In this paper, a new broadcast encryption scheme is presented based on threshold secret sharing and secure multiparty computation. This scheme is maintained to be dynamic in that a broadcaster can broadcast a message to any of the dynamic groups of users in the system and it is also fair in the sense that no cheater is able to gain an unfair advantage over other users. Another important feature...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Robotics and Autonomous Systems
سال: 2016
ISSN: 0921-8890
DOI: 10.1016/j.robot.2015.11.012